#ifndef WDT_H
#define WDT_H

#include <LPC17xx.h>

#define WDEN (0x1<<0)
#define WDRESET (0x1<<1)
#define WDTOF (0x1<<2)
#define WDINT (0x1<<3)

// 1000000 <-> 1 s
#define WDT_FEED_VALUE 0x003FFFFF // 4s

extern void WDT_IRQHandler(void);
extern uint32_t WDTInit( void );
extern void WDTFeed( void );


#endif //WDT_H

